record R {
  *foo: string,
}
